Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Drop /jetty-spring/ module #5674

Merged
merged 1 commit into from
Nov 20, 2020
Merged

Conversation

joakime
Copy link
Contributor

@joakime joakime commented Nov 16, 2020

Signed-off-by: Joakim Erdfelt joakim.erdfelt@gmail.com

@joakime joakime requested a review from gregw November 16, 2020 14:19
Copy link
Contributor

@gregw gregw left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

LGTM

@joakime joakime force-pushed the jetty-10.0.x-drop-jetty-spring branch 4 times, most recently from afcec65 to 9e444a9 Compare November 18, 2020 21:17
@joakime
Copy link
Contributor Author

joakime commented Nov 18, 2020

Waiting for green from CI before I merge.

@joakime joakime force-pushed the jetty-10.0.x-drop-jetty-spring branch from 9e444a9 to cf6458b Compare November 19, 2020 12:54
Signed-off-by: Joakim Erdfelt <joakim.erdfelt@gmail.com>
@joakime joakime force-pushed the jetty-10.0.x-drop-jetty-spring branch from cf6458b to 390fa83 Compare November 20, 2020 18:12
@joakime joakime merged commit f94da80 into jetty-10.0.x Nov 20, 2020
@joakime joakime deleted the jetty-10.0.x-drop-jetty-spring branch November 20, 2020 20:56
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

4 participants